<!--
function setColor(color) {
document.getElementById("articletext").style.backgroundColor = color;
	//writeCookie("backgroundColor", color, 240);
}
//-->